Skip to main content

Full text of "Holomorphic Representation of Constant Mean Curvature Surfaces in Minkowski Space: Consequences of Non-Compactness in Loop Group Methods"

See other formats






^vj Abstract. We give an infinite dimensional generalized Weierstrass representation for spacelike con- 

stant mean curvature (CMC) surfaces in Minkowski 3-space R^' . The formulation is analogous to that 
(\ given by Dorfmeister, Pedit and Wu for CMC surfaces in Euclidean space, replacing the group S U2 

Owith S C/ij . The non-compactness of the latter group, however, means that the Iwasawa decomposition 
of the loop group, used to construct the surfaces, is not global. We prove that it is defined on an open 
QQ dense subset, after doubling the size of the real form S f/i_i, and prove several results concerning the 

behavior of the surface as the boundary of this open set is encountered. We then use the generalized 
I I Weierstrass representation to create and classify new examples of spacelike CMC surfaces in R^- ' . In 

r^J particular, we classify surfaces of revolution and surfaces with screw motion symmetry, as well as 

^v studying another class of surfaces for which the metric is rotationally invariant. 




^ — I 


0.1. Motivation. It is well known that minimal surfaces in Euclidean 3-space have a Weierstrass 
C^ representation in terms of holomorphic functions, and that the Gauss map of such a surface is holo- 

^ morphic. For non-minimal constant mean curvature (CMC) surfaces, Kenmotsu ETI showed that 

the Gauss map is harmonic, and gave a formula for obtaining CMC surfaces from any such harmonic 
maps. On the other hand, as a result of work by Pohlmeyer |26|, Uhlenbeck |35 1 and others, it be- 
came known that harmonic maps from a Riemann surface into a symmetric space G/H can be lifted 
to holomorphic maps into the based loop group OG, satisfying a horizontality condition - see fT6l 
(^ for the history. Subsequently, Dorfmeister, Pedit and Wu [14| gave a method, the so-called DPW 

00 method, for obtaining such harmonic maps directly from a certain holomorphic map into the com- 

^D plexified loop group AG*", via the Iwasawa splitting of this group, AG*^ - QG ■ A^G^. This method 

j>. has the advantage that the holomorphic loop group map itself is obtained from a collection of arbi- 

: '~j trary complex-valued holomorphic functions. Combined with the Sym-Bobenko formula, discussed 

rN below, for obtaining a surface from its loop group extended frame, this gives an infinite dimensional 

j^ "generalized Weierstrass representation" for CMC surfaces in terms of holomorphic functions. 

Integrable systems methods have been shown to have many applications in submanifold theory. 
Concerning CMC surfaces, notable early results were the classification of CMC tori in R^ by Pinkall 
and Sterling ESl . and the rendering of all CMC tori in space forms in terms of theta functions by 
Bobenko JS]. The DPW method has led to new examples of non-simply-connected CMC surfaces 
in E? - and other space forms - that have not yet been proven to exist by any other approach 1122)1 . 
123], USD. 

Unsurprisingly, an analogous construction is obtained for spacelike, which is to say Riemannian, 
CMC surfaces in Minkowski space R^'', by replacing the group S U2, used in the Euclidean case, 
with the non-compact real form SUi^i. However, there is a major difference, in that the Iwasawa 

2000 Mathematics Subject Classification. Primary 53C42, 14E20; Secondary 53A10, 53A35. 
Key words and phrases, differential geometry, surface theory, loop groups, integrable systems. 



decomposition is not global when the underlying group is non-compact, which has consequences 
for the global properties of the surfaces constructed. 

There is already an extensive collection of work about spacelike non-maximal CMC surfaces in 
R^'' and their harmonic (|24|) Gauss maps. Works of Treibergs 1341 . Wan 1361 . and Wan-Au BTl 
show existence of a large class of entire examples, which are then necessarily complete (Cheng and 
Yau ifTOll ). Other studies, also without the loop group point of view, include fTTl and |T|. Inoguchi 
IfTSl gave a loop group formulation and discussed finite type solutions and solutions obtained via 
dressing, which are two further methods, distinct from the DPW method employed here, that can 
also be used for loop group type problems. 

Studying the generalized Weierstrass representation for CMC surfaces in R^' is interesting for 
various reasons: from the viewpoint of surface theory, there is naturally a richer variety of such 
surfaces, compared to the Euclidean case, due to the fact that not all directions are the same in 
Minkowski space. CMC surfaces in Minkowski space are important in the study of classical rela- 
tivity - see for example, the work of Bartnik and Simon HO. The main issue addressed in those 
works was to give conditions which would guarantee that surfaces obtained from a variational prob- 
lem are everywhere spacelike. The holomorphic representation studied here is a completely different 
approach: all surfaces are, in principle, obtained from this method and the surface is guaranteed to 
be spacelike as long as the holomorphic loop group map takes its values in an open dense subset 
of the loop group (the "big cell"). The surface fails to be spacelike or immersed only when the 
corresponding holomorphic data encounters the boundary of this dense set. Since all CMC surfaces 
have such a representation, understanding the behavior at this boundary potentially gives a means 
to characterize the singularities. More generally in the context of integrable systems in geometry, 
this example can be thought of as a test case regarding the significance of the absence of a global 
Iwasawa decomposition, or, more broadly, of the non-compactness of the group. 

0.2. Results. In Sections[T]and|2]we present the Iwasawa decomposition associated to the group of 
loops inS U]j. The general case for non-compact groups had been earlier treated by Kellersch ||2()1 : 
we provide a rather explicit proof for our case. The main new result here, which is important for 
our applications, is that, after doubling the size of the group, by setting G = SUi^i U icri ■ SUi^, 
where cri is a Pauli matrix, we are able to prove that the Iwasawa splitting we need is almost global. 
That is, if AG^ is the group of loops in a complexification G^ of G, A^G^ is the subgroup of loops 
which extend holomorphically to the unit disc, and Q.G is the subgroup of based loops mapping 1 to 
the identity, then 

(1) QGA+G^ 

is an open dense subset, called the (Iwasawa) big cell, of AG^. We are primarily interested in this 
result in the twisted setting, described in Section[2] 

We also prove, in Section 1 .4 that, for a loop which extends meromorphically to the unit disk 
with exactly one pole, the Iwasawa decomposition can be computed explicitly using finite linear 
algebra. This result is used for the analysis of singularities arising in CMC surfaces. 

In Section [3] we give the loop group formulation and the DPW method for CMC surfaces in 
Minkowski space. This uses the first factor F of the decomposition = FB, corresponding to ([T]), 
to obtain a CMC surface from a certain holomorphic map (/> : 2 — > AG*^, where S is a Riemann 

In SectionHlwe examine the behavior of the surfaces at the boundary of the big cell. In Theorem 

4. 1 we prove that the DPW construction maps an open dense set 2° c S to a smooth CMC surface, 

and that the singular set, E \ 2° is locally given as the zero set of a non-constant real analytic function. 

The boundary of the big cell is a countable disjoint union of "small cells", the first two of which 

are of lowest codimension in the loop group, and therefore the most significant. We examine the 


behavior of the surface as points on the set Z \ E° which correspond to the first two small cells are 

approached. In Theorem 4.2 we prove that the surface always has finite singularities at points which 
are mapped by to the first small cell (and this also occurs along the zero set of a non-constant real 
analytic function). On the other hand, we prove that, as points mapping to the second small cell are 
approached, the surface is always unbounded and the metric blows up. 

The next two sections are devoted to applications. There are a variety of CMC rotational surfaces 
in R^'', because the rotation axes can be either timelike or spacelike or lightlike. Classifications of 
such rotational surfaces were considered by Hano and Nomizu IfTTll and Ishihara and Hara |fT9l . with 
the aim of studying rolling curve constructions for the profile curves, but the moduli space was not 
considered. Here we find the moduli spaces for both surfaces of revolution and the more general 
class of equivariant surfaces. In Section |5] we explicitly construct and classify all spacelike CMC 
surfaces of revolution in R^'. In particular, this results in a new family of loops for which we know 
the explicit S't/ij-Iwasawa splitting. We also study the surfaces in the associate families of the 
CMC surfaces of revolution, which we prove give all spacelike CMC surfaces with screw motion 
symmetry (equivariant surfaces). In both those cases, the explicit nature of the construction can be 
used to study the singularities and the end behaviors of the surfaces. 

In Section|6]we use the Weierstrass representation to construct R^' analogues of Smyth surfaces 
||3T| (surfaces whose metrics have a rotational symmetry), and study their properties. 

1 . The Iwasawa decomposition for the untwisted loop group 

If G is a compact semisimple Lie group, then the Iwasawa decomposition of AG, proved in ETJI . 


(2) AG^ = QG ■ A+G, 

where QG is the set of based loops y e AG such that ^(1) = 1. For non-compact groups, this 
problem was investigated by Kellersch [20 1. An English presentation of those results can be found 
in the appendix of |2|. Here we restrict to SU i^i, as it is a representative example, and as it has 
applications to CMC surface theory. 

1.1. Notation and definitions. Throughout this article we will make extensive use of the Pauli 

/O 1\ /O -A /I 

""''■^[i OJ' ""''-^[i OJ' '"^^=\0 -1 

Let S' be the unit circle in the complex /l-plane, D+ the open unit disk, and D^ = {A e C\\A\ > 
1) U {oo) the exterior disk in CP'. 

If G^ is any complex semisimple Lie group then AG^ denotes the Banach Lie group of maps 
from S' into G^ with some //'-topology, s > 1/2. All subgroups are given the induced topology. 
For any subgroup 'H of AG^ we denote the subgroup of constant loops, which is to say 'K n G^, by 

For us, G^ will be the special linear group SL2C. Now the real form S t/ij is the fixed point 
subgroup with respect to the involution 

(3) T(x) = Ad,3(7)-'. 

For our application, however, it will become clear that it is convenient to set 

G := {jc e SL2C I t(x) = +jc). 

As a manifold, G is a disjoint union SUij U icri • SU\^\, and has a complexification G^ - SL2C. 
It turns out that G works just as well as S t/i_i for our application, and this choice will mean that the 
Iwasawa decomposition is almost global. We remark that an alternative way to achieve this would 


have been to set G" to be the group {x e GL(2, C) | det jc = ±1), and in this case the appropriate real 
form G would be just the fixed point subgroup with respect to t. 

Let AG denote the subgroup of AG*" consisting of loops with values in the subgroup G. We 
extend t to an involution of the loop group by the formula 

(4) (T(x))(i) := t(x(A-')) 

= (r,(xCA-')r'cT3. 

Then it is easy to verify that the definition of AG c AG*^ is the analogue of G c G^: 

AG = {xe AG^ | t(x) = +x} , 
= (AG% U io-i ■ (AG%, 

where (AG^)t = AS U]^ is the fixed point subgroup with respect to t. We want a decomposition 
similar to the Iwasawa decomposition (|2|, but our group G is non-compact. 

1.1.1. Normalizations for the untwisted setting. Let A^ and A" denote the sets of 2 x2 upper triangu- 
lar and lower triangular matrices, respectively, and Aj^ denote the subsets with the further restriction 
that the diagonal components are positive and real. For any lie group X, let A^X denote the sub- 
group consisting of loops which extend holomorphically to D^-. We start by defining some further 
subgroups of the untwisted loop group AG'^ := ASLiC. Denote the centers of the interior and 
exterior disks, D±, by A+ :- and /l_ :- oo. Set 

A^G'^ := {B e A^G^ \ B(i±) € A*), 


AfG'= := {B e A^G^ \ B(A^) = /) , 

1.2. The BirkhofF decomposition. To obtain the corresponding results for the twisted loop group 
later, we normalize the factors in the Birkhoff" factorization theorem of EtI . in a certain way: 

Theorem 1.1. ( Birkhoff decomposition \21\) Any (p & AG'^, has a decomposition: 

(p = B_MB+ , B± e A^G'^ , 

where either 

The middle term, M, is uniquely determined by (p. The big cell & , where I — 0, is open and dense in 
AG^, and in this case there is a unique factorization (p — B-MqB+, with B± e A^G*" and Mq e G*'. 
Moreover, the map S^ — > AjG'^ X G^ X A^G^, given by [(p i-> (B_, Mq, B+)], is a real analytic 

Proof. The result is stated and proved in an alternative form as Theorem 8.1.2 and Theorem 8.7.2 
of fTT], without the upper and lower triangular normalization of the constant terms, and where the 
middle term, M, is a homomorphism from S' into a maximal torus, which is to say the first type of 
middle term here. That is 


j<^+, <^±€A^G^. 

Such a product can be manipulated so that the constant terms of (p^. are appropriately triangular 
if one allows the middle term to become ofF-diagonal. n 


1.3. The untwisted Iwasawa decomposition for G. Define the untwisted Iwasawa big cell 

S[[i := {0 e AG^ | (T(0)rV e S^). 

Theorem 1.2. (Untwisted S U \^\ Iwasawa decomposition) 
(1) 77ie group AG^ is a disjoint union. 


where Vm ore defined below at item (3). 

(2) Any element (p e S^j /loi a decomposition 

(/> = FB, F e AG, Be A+G*^. 

We can choose B e Aj^G*", and then F and B are uniquely determined, and the product map 
AG X AjJ.G*' — > Sj^j ii a real analytic dijfeomorphism. We call this unique decomposition 

(3) Any element (p e 'P„, can be expressed as 

<p = Fch„,B, F e (AG'=)^, B e A+G*^, 


2 ^ 

-ii-™ 1 

(4) The Iwasawa big cell S^j is an open dense set of AG^. The complement of the big cell is 
locally given as the zero set of a non-constant real analytic function g : AG*^ — » C. 

The proof of Theorem 1 .2 is a consequence of the following lemma: 

Lemma 1.3. Iftp^ AG^ satisfies (t(i^)) ' = iff, then 


^ = (T(B+)r'(±/)B+ or ^ = (T(B+)r' ^_„, „ B+ 

for some uniquely determined integer m, and for some B+ e A^G*^. 

Proof. Consider the two cases for the Birkhoff splitting of tfr given in Theorem |1.1| First, if i/' 

(5) 5=5.T(5-)=(: J 

is an element of A^G^, and the assumption that (t((/')) ' - ifr is equivalent to the equation 

a* A-'' -c*/l*\ _ / fl^* bA'' \ 
-b*A-'' d*A'' ] ~ [cA-'' dA-''} ■ 

It follows that b and c are both identically zero, that a, d are constant and real, and that k = 0. So B = 
diag(a',a'"')(+/)diag(Q', Q-"') for some constant a > 0. Then i// = (r(i^))"' - (t(B+))"'(t(B_))"' = 
t(B+)-H+I)B+, where B+ = diag(Qr-i,a)B+. 

,_A P jB+. Proceeding as before, we have 

(a* -c^/ A^l ^ Ah b\ 
\-b* d* ) [-A-'' j ~ [-A-'^ 0)\c dj ' 

where B is as in Q. It follows that a = d is constant and \a\ = 1, and b ■ c is identically zero. 
Further, when ^ < 0, then b - and c - c*A^^'' with a finite expansion in A of the form c - 


ci/l' + ... + c-ai-i/f^*^ ', while, on the other hand, if ^ > 0, we have that c = and b - b*A^'', with 
b = boA" + ... + b2kA^'. 

Setting B+ = yB+ and B = B-.jc ' then the requirements that B+ e A^G^ and that ifr — 

-1 A" 

(t(B+)) ,„ „ B+ will be satisfied if we can choose y e h^Jj and x e A^G with the 

-1 / ^n / A<<\ „i 

^ Lit n y^L 1-t n ' -S^y t(x). 


A-" or -^"* 

Va ' yi\ jc^i =(Vfl ' ^1 

then when A: > 0, we can take {y\,y2,xi,X2) - (- ■s/ab/2,Q,Q, - yfabA "^^ 12). When A; < 0, we take 
{yi,y2,xi,x2) = (0,-c/(2 V^),-c^2t/(2V^),o). n 

Proof of TheoremlO] 


c2>.=/, <2>_=IJ^ qI, -^"-l.i'^-m 1 

Proof. Take any € AG . Set ip :— T{<p) '0. Then {t{4i)) - ip and so we can apply Lemma 
which implies that 

iA = (T(B+)r'r(wr'wB+, 
where w is (uniquely) one of the following: 

1\ . I \ A" 


m € Z, and B+ e A^G^. To see this, compute that (T(tiJ+))"'w+ = /, T(a;_)"'w_ = -/ and 
T(a)m) CO„i - y_^-„, )■ 

^ — FiLiB+, 

where F - T(0)T((2tB+)"'. Now i/r = T((2tB+)"' ■ (2tB+ is equivalent to the equation t(F) - F, and so 
F e (AG*^)^. 

To prove item (2) of the theorem, note that cp e S^j if and only if {T{(p)y^(p G S^ , and this 
corresponds to w = cl>±, by the construction in Lemma [T3| Since rico-t) - +a>±, cf> - FB+, with 
F := Fatj-, is the required decomposition. The uniqueness and the diffeomorphism property follow 
from the corresponding properties on the big cell in Theorem |1.1| 

Item (3) has already been proved, and the disjointness property of item (1) follows from the 
uniqueness of the middle term in the Birkhoff Theorem. 

To prove item (4) note that, by definition, S^j - h'\S^), where h : AG^ -^ AG^ takes 
(f) i-> {T{(f))y'^(p. It is shown in |14| that the Birkhoff big cell S^ is given as the complement of 
the zero set of a non-trivial holomorphic section /i (called r in lfT4ll ) of the holomorphic line bundle 
i//*Det* — » AG^, where i^ is a composition of holomorphic maps AG*" — » GL,gs{H) — > Gr{H), and 
Det* — » Gr(H) is the dual of the determinant line bundle. Hence the Iwasawa big cell S^j is given 
as the complement of the zero set of the section /!*/i, locally represented by a real analytic function 
g : AG*' -^ C. The complement of such a zero set is either open and dense or empty, and the big 
cell is not empty, as it contains the identity. n 

Remark 1 .4. A similar procedure can be used to prove the S U2 Iwasawa splitting. In that case, as a 
consequence of the compactness of the group, everything is much simpler and the small cells P„j do 
not appear. 


1.4. Explicit Iwasawa factorization of Laurent loops. Computing the Iwasawa factorization ex- 
plicitly is not possible in general. However, if X e Sj^j extends meromorphically to the unit disk, 
with just one pole at A = 0, then the Iwasawa decomposition can be computed by finite linear alge- 
bra. To show this we will define a linear operator on a finite dimensional vector space whose kernel 
corresponds to the G factor of X. 

For -oo < p < q < oo, denote the vector space of formal Laurent series by 

Ap,, = I^Y.%pajAj\aj e M2X2 
and let Pp^ q : A_oo,oo — > Ap^^ be the projection 

Pp,q (27=-oo OjAJ) = Z%p ajAj 
Define the anti-involution p on A_oo,m by, for W € A_oo,oo, 

{pW){A) = cr3W(lM)o-3. 

Note that if W{A) is an invertible matrix, then p is the composition of r with the matrix inverse 

For any X e AG^, define a linear map £.x '■ A_oo,oo — » A_oo,-i © A_oo -i © C"^ by 

£x(W) = 

(6) [P-^,-i iW^\ P-oo,-i(adj(pW)X), [PofiiWX) - Po,o(adj(pW)X))| ^ ^ , 

[PQfliWX) - Po,o(adj(pW)X))|^^ , Po,o(WX)|^^, Po,o(adj(pW)X))y , 

where adj gives the adjugate matrix and the subscripts ij refer to matrix entries. The map £,x is 
clearly complex linear 

Lemma 1.5. Let n e Z>o and X e AG*" n A_„_oo- Suppose X lies in the big cell, and let X — FB be 
its normalized S\J i^i-Iwasawa factorization. Then 

(1) KerX/ = C ■ / and KerX,,,, = C ■ o-j. 

(2) //F G (AG^)t, then Ker^x = C ■ F-\ 

(3) //F e /o-i ■ (AG'^)^, then KsxJLx = C ■ {Fo-^rK 

Proof. Let X e AG*^ n A_„ „ . By the definition of £.x, ^ £ Ker £.x if and only if for some p, q e C, 

P-^,oiWX)^l^ "^'j and P^^,o(adi(pW)X) = l^ ^A 

where c, e C. It follows that 

Keri]/ = C ■ / and KerX,-^, = C ■ cri, 
KerXxB = Keri;;f for all B e A^G^, 
Kst£fx = KerXx ■ ^ ' for all F e (AG*^)^. 
Statement |(2)] follows from 

KerXfB = KerX/ ■ F"' = C ■ F"'. 

If F € iCTi ■ (AG )r, then F = Gicr2 for some G e (AG )r, and statement (3) 

follows from 

Kcv£cicr,B = KerX,,,, ■ G"' = C ■ iaiG-' = C ■ a^p-' = C ■ (Fcrj)-'. 


Let X be a Laurent loop in the big cell, of pole order n e Z>o at /I = and with no other 
singularities on the unit disk. Let X - FB be the SUi i-Iwasawa decomposition. Then F is a 
Laurent loop in A_„ „, because XB^^ - F has a pole of order « at /I = and t{F) - +F. In fact, we 
have the following theorem: 

Theorem 1.6. Lemma 1.5 provides an explicit construction of the normalized S\]\^\-Iwasawa de- 
composition of any X e &^. C\ A_„ „ by finite linear methods. In particular, let X — FB be the 
S\] \^\-Iwasawa decomposition. Then 

(1) F is a Laurent loop in h._n,n if and only ifX extends meromorphically to the unit disk, with 
pole of order n at A = 0, and no other poles. 

(2) In this case, the two conditions that F e AG and that B € Aj^G^ form an algebraic system 
on the coefficients of F^^ with a unique solution. 

Proof. Compute W e KerXx \ (0). This involves solving a complex linear system with 16n + 4 
equations and 8n + 4 variables. 

That det W is /i-independent can be seen as follows: Since W solves the linear system, WX and 
adj {pW)X are in Ao,oo , and so det W{A) and det W{l/A) are holomorphic in the unit disk. In particular, 
det W{A) is holomorphic on C U {oo), and so is constant. 

Thus, multiplying by a constant scalar if necessary, we may, and do, assume det W = 1. 

By Lemma L5 {{io-3) W) is the AG factor of the normalized SUij-Iwasawa decomposition of 

Xfor some A: e {0, . . .,3). n 

For the simplest case, when X is a constant loop, the linear system in the proof of Theorem 1 .6 
gives the following corollary: 

Corollary 1.7. ForX € SL2 C, the S\]i^\-Iwasawa decomposition has three cases: 

(1) When \Xi\\ > \X2\\, there exist u, v,p € C and r e R^ such that uu — vv - 1 and 

(2) When \Xi\\ < IX21I, there exist u, v,/3 e C and r e R^ such that uu — vv - —\ and 

^"(-y -«)(o r' 

(3) When \Xu\ - IX21 1, there exist 0, y e C, r e R+ and (5 e C such that 

\lr p 

^0 r-i 


2.L Notation and definitions for the twisted loop group. As before, we set G = SU\_\ u io-i ■ 
S t/ij, but from now on we work in the twisted loop group 

^^^ := AG^ := {x e AG*=| cr(jc) = x} , 

where the involution cr is defined, for a loop x, by 

(cr(x))(A):= Ada-, xi-A). 

We will also refer to three further subgroups ofU"^, 

1/f ■.^{BeV'^\B extends holomorphically to D±), 

tf; := {B e 'i/^ I B(0) = (^0 p"')' P ^ R, P > 0). 



We extend t to an involution of the loop group by the formula 

(t(x))(A) - t(xCA-')). 
The "real form" is 

1/ := AG^^{FeAG^\T(F)^+F}, 

= ^^rLi^'(io-l)■^^r, 

where 'W^ is the fixed point subgroup of t, and *P(/cri) - (.°-, 'f\ (see Jsk below). 

For any Lie group A, let Lie{A) denote its Lie algebra. We use the same notations cr and t for the 
infinitesimal versions of the involutions, which are given on Lie{AG^) by 

(ct(X))(A) := Ad,3 X{-A), (t(X)){A) := -Ad^,X'(A-'). 

We have LieiV^) = {X = 2 ^i^' I ^i ^ ^hC, criX) = X], and L/e(1/) is the subalgebra consisting of 
elements fixed by t. The convergence condition of these series depends on the topology used. 

For practical purposes, we should note that 14^ and LieCU^) consist of loops [° *| which take 
values in S L2C and SI2C respectively, and such that the coefficients a and d are even functions of 
the loop parameter A, whilst b and c are odd functions of A. 14^ and Lie(%(2) are the elements 
which have the further condition that only non-negative or non-positive exponents of A appear in 
their Fourier expansions. For a scalar-valued function x(A), we use the notation 

x\A) := x(l-i). 
Then for the real form 1/ we have 

and the analogue for the Lie algebras. 

2.2. The Iwasawa decomposition for SUi^. To convert Theorem 1.2 to the twisted setting, we 

use the isomorphism from the untwisted to the twisted loop group, defined by 

m vp . Arc ^ ^pc /«W ^(^)\ ^ / a(A^) m^^) 

c(A) d(A)j \A-'c(A^) d(A^) 

We define the Birkhoff big cell in AG^ by S := »i'(S^). The Birkhoff^ factorization theorem, Theo- 
rem |l.l[ then translates to the assertion that S — 14^ ■ 14^, and that this is an open dense subset of 

Define the G-Iwasawa big cell for 1J^ to be the set 

Si,i := {0 e 1/^ I t(0)-V 6 S). 

It is easy to verify that t = *P"' o t o *F, and this implies that ^ maps S^j to Si_i . 
To define the small cells, we first set, for a positive integer m e Z^, 

/ 1 0\ . . /l i'-'" 

w„, = K_,„ J, modd ; w,„ = ^ ^ 

The n-f/i imo// ce// is defined to be 

(9) n:='^/r-^„-<. 

Note that elements of QG, in the Iwasawa decomposition (|2]), correspond naturally to elements of 
the left coset space AG/G. For the twisted loop group, 1/, the role of QG is effectively played by 


Theorem 2.1. (SUi^i Iwasawa decomposition) 

(1) The group 1J^ is a disjoint union 

(10) 'w^ = Si,i u y ^„. 


(2) Any loop (p e Si,i can be expressed as 

(11) (p^FB, 

for F etl and B e 1J^. The factor F is unique up to right multiplication by an element of 
14 . The factors are unique if we require that B 6 1J^, and then the product maplAxtl^ — > 
Sij is a real analytic diffeomorphism. 

(3) The Iwasawa big cell, Sij, is an open dense subset oflJ^. The complement of Si^i in 1/*' 
is locally given as the zero set of a non-constant real analytic function g : I/*" — > C. 

Proof The theorem follows from the untwisted statement, Theorem 1.2 Under the isomorphism ^P, 
given by i8\, ch+ stays the same, (Jj_ becomes (pi ^j, and the ch„ appear only for odd m. Then, 
noting that, for m > 0, 

(/(r3)w„(-/cr3) = (^L i)fi+, '^+"(T "2"%^^*^^ 

and, for m < 0, 

<2>„, -L Jb+, 5+-L-m/2 1 eA+G^ 

and that B+ can be absorbed into the right-hand U'^ factor of any splitting, we can replace, in 
Theorem 1 .2 the above ib± and cbm respectively with the matrices /, ( "-i q| and the aj,„ defined in 
Sectionp Tnis gives the small cell factorizations of (|9| of Theorem 2. 1 The big cell factorization 
of item 1(2)1 follows from the observation that 

A_ I 
-A-' 0""-^-' 

"^i .-1 

so that elements with this middle term can be represented as (p - FB, with t(F) - -F, that is, 

The diffeomorphism property on the big cell, the disjoint union property, item |(l)| and item |(3)| 
follow from the corresponding statements in Theorem 1 .2 n 

Corollary 2.2. The map n : Sij — > 1J I1J^^ given by (p >-^ [F], derived from {11 ), is a real analytic 

Remark 2.3. The density of the big cell can also be seen explicitly as follows: consider the continu- 
ous family of loops 

lAt := L^-m Xm odd; ^A" := I q 1 I ' '" ^v^"- 

Now i^'j" - oil,,, but for |z| ^ 1, 1/', is in the big cell and has the Iwasawa decomposition: t//^ - F'^-Bf, 
where, for odd values of m, 

p,n ^ 1 / 1 zX-\ gn,^ 1 l^-ZZ -ZA" 

and, for even values of m: 

4>'^ = Ad<,,.Ar' = Ad<,,Ff-' ■ Ad,,, Br'- 


If (f>o is any element ofP,,,, then it has a decomposition <pQ = Fi)Co,„BQ, in accordance with (|9|. Now 
define the continuous path, for / G R, 0, = Fq^/'^Bq. Then 4>i = 0o, but for t +\,4>, ^ FqF';' B';' Bq, 
which is in the big cell. So ^, gives a family of elements in the big cell which are arbitrarily close to 
(po as t —^ 1 . 

2.3. A factorization lemma. Later, in Section HI we will use the following explicit factorization 
for an element of the form fiw„,', for B G ll'^, and m = 1 or 2. 

a b\ _ jY^Zo ^i^' SSi M'\ , ^_, ,__, .^,c 

Lemma 2.4. Let B = I j] - \ v°° ]' v'" ^ i' ^^ ^'^^ element of1l\. Then there exists a 

\c aj \2j,=i c,vl lji=o"i'^ I 

(12) Blo-^ = XB, 

where B G 'Wj' cind X is of one of the following three forms: 

u vA\ , _ / u vA\ fl _ / 1 

vv/iere m and v are constant in A and can be chosen so that the matrix lias determinant one, and 
G R. The matrices ki and k2 are in 11, and their components satisfy the equation 

(13) — = \bi -flollflol • 


The third form occurs if and only ifBoj^^ is in the first small cell, fi, and the three cases correspond 
to the cases \(b\ — ao)aol greater than, less than or equal to 1, respectively. 

The analogue holds replacing coi with U2, the matrices hi and Wj with Ado-,^; and Ado-, Wj, (^nd 
replacing T'l with 1^2, and Equation \i3) with 

(14) r! = 1^1 - «'oll«'ol • 


Proof. The second statement, concerning W2, is obtained trivially from the first, because W2 - 

Ado-jWi, so we can get the factorization by applying the homomorphism Ado-, to both sides of ( [T2| . 

To obtain the factorization ( [T2] i, note that under the isomorphism given by (jsll, Wj^' becomes 

\ . 1 ' so '^he untwisted form of Bu^^ has no pole on the unit disc, and the factorization can be 

obtained by factoring the constant term, using Corollary |1. 7 1 

Alternatively, one can write down explicit expressions as follows: for the cases \{b\ -aQ)aQf > 1, 
where e = + 1 , the factorization is given by 

xj.]_, '^: 

\evA eu 

"d _ I —sub A + dv + sua — vcA bsu — vdA 

\evbA^^ - (eva + ud)A^^ + uc —bsvA^^ + ud 

One can choose u and v so that s(uii - vv) = 1 and such that B G K^, the latter condition being 
assured by the requirement that " - s{bi - flo)flo. It is straightforward to verify that XB = Boj^^. 

For the case \(bi - flo)flo| - 1, substitute S for eS and -v for sv in the above expression, and 
choose '4 - [ao - bi)ao- One can choose m = -L and v = ^ and 

-vA-' uj [e'^'A-' lj[o V2 


Pushing the last factor into B then gives the required factorization, hi this case, Boj^^ is in !Pi, 
because it can be expressed as 

' '«/2 \ le'"^ W 

e'<"^l^^ ■ e-'^l^r- 

3. The loop group formulation and DPW method for spacelike CMC surfaces in R^'^ 

The loop group formulation for CMC surfaces in E^*, S^ and H^ evolved from the work of Sym 
Il32l . Pinkall and Sterling |25|, and Bobenko |5 7|. The Sym-Bobenko formula for CMC surfaces 
was given by Bobenko |6 7|, generalizing the formula for pseudo-spherical surfaces of Sym ||32]| . 
The case that the ambient space is non-Riemannian is analogous, replacing the compact Lie group 
S U2 with the non-compact real form S U]j, as we show in this section. 

3.1. The5t/i.i-frame. The matrices {ej, 62, e^} :- {cti, -0-2, /cr3) form a basis for the Lie algebra 
g = suii. Identifying the Lorentzian 3-space R^'' with g, with inner product given by {X,Y) = 
^tiace{XY), we have 

<ei,ei) = <e2,e2) = -{6^,62) = 1 

and (cTi, CTj) - for / ^ j. 

Let S be a Riemann surface, and suppose / : 2 — > R^' is a spacelike immersion with mean 
curvature H + Q. Choose conformal coordinates z - x + iy and define a function m : S — > R such 
that the metric is given by 

(16) di^ = 4e2"(dxH d/). 

We can define a frame F : E — > 5 U\^\ by demanding that 

f f 

Feip-^ = — , Fe2F-^ = — . 

l/xl \fy\ 

Assume coordinates for the target and domain are chosen such that /v(0) - |/v(0)|ei and /v(0) - 
l/v(0)|e2, so that F(Q) = /. Then the frame F is unique. A choice of unit normal vector is given by 
A^ - Fe^F^^. The Hopf differential is defined to be Qdz^, where 

The Maurer-Cartan form, a, for the frame F is defined by a := F^^dF = Udz + Vdz. 
Lemma 3.1. The connection coefficients U :— F^^F, and V :— F^^Fi are given by 

^ ' 2\ie-"Q -u, j' 2\2iHe" u-. 

The compatibility condition da + a ^ a - Q is equivalent to the pair of equations 

(18) u,. - //V" + \\Qf-e-^" = 0, 

Proof. This is a straightforward computation, using H - ^e"^"(/v.v + fyy,N), and the consequent 

/,, = 2m,/, - QN, fs = 2u,f - QN, f-i = -2He^"N, in addition to 

(19) /^ = 2."F.L J-F-', f-2e"F-L ^]-F 

(20) t/'' = ^(..„-„:^,-i I, v'^ 


3.2. The loop group formulation and the Sym-Bobenko formula. Now let us insert a parameter 
A into the 1-form a, defining the family a^ :- U^dz + V'dl, where 

2 \ie-"QA-^ -u, j ' 2 \2///e"^ u-. j ' 

It is simple to check the following fundamental fact: 
Proposition 3.2. The l-form a** satisfies the Maurer-Cartan equation 

da'' + a-^ A a-* = 
/or all A e C\ {0) if and only if the following two conditions both hold: 
(!) da' +a' Aa' =0, 
(2) f/ie mean curvature H is constant. 

Note that, comparing with ([TJi, or'* is a 1-form with values in LieCUr), and is integrable for all A. 
Hence it can be integrated to obtain a map F : E — > 1/^. 

Definition 3.3. The map F : 2 — > 'ZY^ obtained by integrating the above 1-form a^', with the initial 
condition F(0) — I, is called an extended frame /or the CMC surface f. 

Remark 3.4. Such a frame F is also an extended frame for a harmonic map, as, for each /I € S', 
F'' projects to a harmonic map into SUi^iJK, where K is the diagonal subgroup. We will not be 
emphasizing that aspect in this article, however 

When // is a nonzero constant, the Sym-Bobenko formula, at /ly 6 S', is given by: 

(21) f^o^-^S{F)\ 

(22) S{F) := Fia-iF-^ + liAdxF ■ F"' . 

Theorem 3.5. 

( 1 ) Given a CMC H surface, f, with extended frame F : 2 — » 1/^, described above, the original 
surface f is recovered, up to a translation, from the Sym-Bobenko formula as /'. For other 
values of A e S\ /' is also a CMC H surface in R^'\ with Hopf differential given by A^^Q. 

(2) Conversely, gi ven a map F : 1, ^ 11 j whose Maurer-Cartan form has coefficients of the 

form given by {20 \, the map /' obtained by the Sym-Bobenko formula is a CMC H immer- 


sion into 
(3) If D is any diagonal matrix, constant in A, then S(FD) — S(F). 

Proof. For (1) one computes that /' - f, and fi = /, so / and /' are the same surface up to 

translation. For other values of A, see item (2) To prove |(2)[ one computes / and /, and then the 
metric, the Hopf differential and the mean curvature. Item |(3)| of the theorem is obvious. n 

The family of CMC surfaces /' is called the associate family for /. The invariance of the Sym- 
Bobenko formula with respect to right multiplication by a diagonal matrix is due to the fact that the 
surface is determined by its Gauss map, given by the equivalence class of the frame in SUii/K. 

By direct computation using the first and second fundamental forms, we have: 

Lemma 3.6. The surfaces 

/il = -^Ad^,S(Ad^,F)l^^ 

= -Jh [-^'^^3^^' + 2iAdAF ■ F-']_^^^ , 
/k = -^[Q + 2iAd,F-F-\_^ 


are the parallel CMC —H surface and the parallel constant Gaussian curvature —AH^ surfaces, 
respectively, to f^ . 

3.3. Extending the construction to G. In the formulation above we used the group S f/i,i, but we 

can use the bigger group G instead, and allow the extended frame to take values mlJ - lij U 
^{ia-\) ■ tlr- If we integrate the 1-form a'^ above, with the initial condition f'(O) = '^{icri) instead 
of the identity, we obtain a frame, F - '^{icri)F, with values in ^'{icri) ■ 11^ But Si^iio-y^F) - 
-Ado-,>S(F) + translation, and the effect of -Adg-, on the surface is just an isometry of R^"', and so 
a CMC surface is obtained. Similarly, it is clear that we can replace lij with li in the converse part 
of Theorem 1 3. 5 1 

3.4. The DPW method for R^'. Here we give the holomorphic representation of the extended 
frames constructed above. To see how it works in practice, consult the examples below, in Section 

On a simply-connected Riemann surface S with local coordinate z - x + iy, we define a holomor- 
phic potential as an sl2C-valued /l-dependent 1-form 

^ = Mz,A)dz = [^^,^^_^,y-. - Z-oQ,^^^- r ' 

where the ajdz, bjdz, Cjdz are all holomorphic 1-forms defined on E, and fl_i is never zero. 

Choose a solution cp : I, ^ 1J^ of d(l> - (f>^, and G-Iwasawa split <p = FB with F -.11 ^> IJ and 
B ; 2 — > 1/+ whenever (p g Sij. Expanding 

B = fe p-\+0{A), p(z,l)€R% 

and, noting that 

F-^dF = BAB-^z - dB ■ B'^ 
and T(F^^dF) - F^^dF, one deduces that 

F-^dF = Jlidz + Jlidz + T(Jl2)dz + T(^i)dz , 

^'-[A-'p-^b^, " "o"")' ^'-[o -^ 

Take any nonzero real constant H. Substituting w - jj J a^idz, Q - -2H-^ andp = e"''^, we 
have F^^dF - U'^dw + V^dw for t/'*(w), V'^iw) as in Section p] By Theorem '. 
frame for a family of spacelike CMC H immersions. 


F is an extended 

Remark 3.7. The invariance of the Sym-Bobenko formula, pointed out in Theorem ] 3. 5 [ shows that 
we did not need to choose the unique F e 1J given by the normalization B e l/J in our splitting 

of 4> above, because the freedom for F (Theorem 2.1 1 is postmultiplication by 1J , which consists 

of diagonal matrices. The normalized choice of B, however, will be used sometimes, as it captures 
some information about the metric of the surface in terms of p. 

We also point out that allowing fl_i to have zeros will result in a surface with branch points at 
these zeros. 

We have proved one direction of the following theorem, which gives a holomorphic representa- 
tion for all non-maximal CMC spacelike surfaces in R^'. In the converse statement, the main issue 
is that we do not assume E is simply-connected, which can be important for applications: see, for 
example Ha, IH. 


2,1 1 

Theorem 3.8. (Holomorphic representation for spacelike CMC surfaces in R ' ) Let 


be a holomorphic 1-form over a simply-connected Riemann surface 2, with 

fl_i ^ 0, 

on E, where A_i = , „' . Let ; E — > 1/^ be a solution of 

Define the open set E° := 0"'(Sij), fl«(i tofce any G-Iwasawa splitting on 2°; 

(23) (p^FB, Fet(, Be^(^. 

Then for any Aq e S', the map f'^ :— /'*" : 2° — > R^'', g/ven foy the Sym-Bobenko formula jll) , is a 
conformal CMC H immersion, and is independent of the choice of F in ( |23p . 

Conversely, let 1, be a non-compact Riemann surface. Then any non-maximal conformal CMC 
spacelike immersion from S into R^'^ can be constructed in this manner, using a holomorphic poten- 
tial ^ that is well defined on E. 

Proof. The only point remaining to prove is the converse statement. This follows from our con- 
struction of the extended frame associated to any such surface, together with the argument in fT4l 
(Lemma 4.11 and the Appendix) given for the case that Z is contractible. However, the latter ar- 
gument is also valid if Z is any non-compact Riemann surface: the global statement only depends 
on the generalization of Grauert's Theorem given in f9l, that any holomorphic vector bundle over 
a Stein manifold (such as a non-compact Riemann surface, see lil5J Section 5.1.5) with fibers in a 
Banach space, is trivial. D 

Remark 3.9. We also showed above that if we normalize the factors in (23 1 so that B e 11^, and 
define the function p : S° — > R by B|i=o - diag(p,p"'), then there exist conformal coordinates 
z - X -\- iy onlL such that the induced metric for /' is given by 

As^ = Ap'iAS? + df), 

and the Hopf difi'erential is given by Qdz , where Q — -2H^^. 

3.5. Preliminary examples. We conclude this section with three examples; 

Example 3.10. A cylinder over a hyperbola in R^' . Let 


^ \A-'dz 

= exp{( _, 

on E = C. Then one solution (p of dcf) = (p^ is 

■ z^-' 

which has the Iwasawa splitting (p - F ■ B, where 

P ,( zA-'+-zA\x J, // -zA 

take values in 1/ and l/lj- respectively. The Sym-Bobenko formula /' gives the surface 

— • [4y, -sinh(4x), cosh(4;ic)]. 


in R^'' = {[xi,X2,xo] :- x\e\ + ^262 + x^e^]. The image is the set 

{[xi,X2,xo] Ixg-Xj = 4^1, 
which is a cylinder over a hyperbola. 
Example 3.11. The hyperboloid of two sheets. Let 

on E = C. Then one solution of d^ - <p£, is 

1 zA-' 

which takes values in Sij for |z| + 1. For these values of z, the G-Iwasawa splitting is (p - F ■ B 
with F : I \ §1 ^ 1/ and B : S \ S' ^ i?^, where 


( ^ 

1 ' 




kP) W^ 
( 1 


kP) \-«^^ 


Then the Sym-Bobenko formula gives 

/'(^) = „, 2 \ 1^ ■ Py, -2^. (1 + 3^' + 3/)/2], 

whose image is the two-sheeted hyperboloid {x^ + x^- (xq - :^)^ = -^), that is, two copies of a 
hyperbolic plane of constant curvature -H^. For this example, we are in a small cell precisely when 
kl = 1. In this case, we can write as a product of a loop in 'ZY^ times cl>2 times a loop in 'ZY!^, as 

(1 zA-'\_( pyfz A-'qyJi\ i(p + q)^z-' \ 

^0 I j-\Aq^fz-' p^,-ij-'^2-\^ _^^^^-i ^p_q)^,j' 

where p^ - q^ = I and p, q eR. Hence </> e 'P2 for kl = 1 • 

Example 3.12. The first two examples were especially simple, so that we were able to perform 
the Iwasawa splitting explicitly. This is not possible, in general. However, it can always be ap- 
proximated numerically, using, for example, the program XLab [28 1, and images of the surface 
corresponding to an arbitrary potential ^ can be produced. For example, taking the potential ^ - 

.t/z, and integrating with the initial condition (p(0) = wi, we obtain, numerically, a 

surface with a singularity that appears to have the topology of a Shcherbak surface Il30l singularity at 
z = 0. The Shcherbak surface singularity is of the form (u, v^ + uv^, 12v'' -1- IOmv^). The singularity 
from our construction is displayed in Figure [T] Since 0(0) - wi, this singularity is arising when (p 
takes values in!Pi. 

4. Behavior of the Sym-Bobenko formula on the boundary of the big cell 
We saw in Example |3. 11 1 an instance of a surface which blows up as the boundary of the big cell 

is approached. On the other hand, in Example 3.12 we have a case where finite singularities occur 

We now want to examine what behavior can be expected in general. 



Figure 1. The singularity appearing in Example 3.12 

Let I 

I : E — > 'ZY'^ be a holomorphic map in accordance with the construction of Theorem 3.8 and 
'(Si_i). We also assume that (p maps at least one point into Sij, so that S° is not empty. Set 


Theorem 4.1. Let cp be as above, and assume that E is simply connected. Then Y,° is open and dense 
in S. More precisely, its complement, the set C, is locally given as the zero set of a non-constant real 
analytic function from some open set W C S fo C. 

Proof. This follows from item (3) of Theorem 2.1 the union of the small cells is given as the zero 
set of a real analytic section s of a real analytic line bundle on 14^ (see the proof of Theorem 1 .2 1. 
Thus C is given as the zero set of (ffs, which is also a real analytic section of a real analytic line 
bundle. Since we assume that the complement of C contains at least one point, it follows that this 
set is open and dense. D 

For the first two small cells, for which the analysis is the least complicated, we will prove more 
specific information: set 

Theorem 4.2. Let (f> be as given in Theorem 4.1 Then: 

(1) The sets E° U C\ and S° U C2 are both open subsets ofL. The sets C,- are each locally given 
as the zero set of a non-constant real analytic function ] 

(2) All components of the matrix F obtained by Theorem 


on If, and evaluated at Aq e S , 
blow up as z approaches a point zo in either Ci or C2. In the limit, the unit normal vector 
N, to the corresponding surface, becomes asymptotically lightlike, i.e. its length in the 
Euclidean R-' metric approaches infinity. 

(3) The surface f'^° obtained from Theorem 3.8 extends to a real analytic map E° U Ci — > R^'', 
but is not immersed at points zo 6 C\. 

(4) The surface /'*" diverges to co as z —> Zo ^ C2. Moreover, the induced metric on the surface 
blows up as such a point in the coordinate domain is approached. 

Proof Item (1) For the open condition, it is enough to show that if zo e 2° U C,-, then there is a 
neighborhood of zo also contained in this set. Let zo &I-° 'J Ci. Now E° is open, so take zo e Ci. It 
easy to see that, in the following argument, no generality is lost by assuming that ^(zo) - oj^^. We 
can express (p as 


where := cpcoi. Since ^(zo) - L the identity, 
therefore can locally be expressed as 

d> = FB, F -.1. 

is in the big cell in a neighborhood of zo, and 

^(, B : 2 ^ TYi 


So (p = FBiL)^ ', and, denoting the components of B as in Lemma 2.4 we have that <p{z) is in Pi 
precisely when 

and is in the big cell for other values of this function. Note that g cannot be constant, because, by 
Theorem|4. 1| zo is a boundary point of E°. The case zu e 2° U C2 is analogous, and the claim follows. 

Items (2) [(4) are proved below as Corollaries 4.5 4.9 and[4. 11 [respectively. D 

Remark 4.3. Noting that Ada-^(L)2k-[ - (^2k, and that the parallel surface is obtained by applying 

the Sym-Bobenko formula to Ad(j-, F, the analogue of Theorem 4.2 applies to the parallel surface, 
switching !Pi and 7^2- 

4.1. Behavior of the 1/ and tC^ factors approaching the first two small cells. We can use Lemma 

2.4 to show that the matrix F, in an S U\^i Iwasawa factorization = FB, blows up as (p approaches 
either of the first two small cells. Note that all such discussions take place for A e S', so that, for 
example, if a is a function of A, then a* = a. 

Proposition 4.4. Let 0„ be a sequence in S\\, with lim„_,oo <Pn - 'Po ^ 'Pm> for m — I or 2. Let 
0« = F„B„ be an SU\^\ Iwasawa decomposition of(p„, with F„ elJ, B„ e ^^. Then: 
( 1 ) Writing F„ as 

we have lim„_,oo kni = lim„^co \yn\ — oa, for all A e S'. 

(2) Writing the constant term of B,, as 

ifm—l then lim„^oo \pn\ — 0, and ifm — 2 then lim„_,oo \pn\ — °°- 

Proof. Item (1): We give the proof for m - I. The case m - 2 can be proved in the same way, or 
simply obtained from the first case by applying Ado-, ■ According to Theorem 2.1 we can write 

00 = FqLl>iB(), 

with Fq e IJj and Bq e 1/^. Expressing (p„ as 

we have lim„^oo ^„ - Fq, so ^„ e Si,i for sufliciently large «, because Sij is open. Thus, for 
large «, we have the factorization 0,, = F„B„, and the factors can be chosen to satisfy F„ — > Fq and 

B„ — > /, as n — > 00. Using Lemma 2.4 with A replaced by -A, we have the expression 

</>« - F„B„a)\BQ - F„XnB„Bo , B„ e IJ^ . 

Since by assumption (f>„ e Si.i for all n, the factor B„ll)i is also, and X„ is always a matrix of the 
form ki or k2, that is 

( Un V„A\ 

X„ - i _ I 

with u„ and v„ constant in A. We also have from Lemma 2.4 that |m„|/|v„| = \bi„ - a^)„\\ao„\, where 


b\,n -^ and flo,;i -^ 1, as n ^ 00, because B„ — > /. Hence lim„^oo rfl = 1. Combined with the 
condition \u„\^ - \v„\^ - ±1, this implies that lim„^oo \u„\ = lim„^oo \v„\ - 00, and 

lim \\X„\\ = ex,, 


where || ■ || is some suitable matrix norm. Now the uniqueness of the Iwasawa splitting 0„ = FnBn 
says that 

where D„ - diag(e'*", e"'®") for some 9„ e R. Then we have 

iK,ii = iF,;'^„ii<ii^;'iiiFJi, 

and so lim„^oo Wn'^W WnW - °° also. But HF^'H — > \\Fq\\, which is finite, and so we have \\F„\\ — > oo. 
Because the components of F„ satisfy |x„p - ly,,!^ - ±1, the result follows. 

Item (2): For the case m - 1, proceeding as above, we have 0„ = FnX„BnBo, where X„B„ = B„wi, 
and B„ — > /. Up to some constant factor coming from Bq, the quantity p,^' is given by the constant 
term of the matrix component [B„]22, for which we have an explicit expression in (ITsjl, that is: 

P„ = -e^«,i v„ + M„ 4,0, where B„ = , , . -- - 

\2j/=1 Cn,i/t 2j;=0 "n.i't 

Now the facts that B„ — > / and UnUn - v„v„ - s, so that 

/?„,! ^ 0, d„fl -^ 1, 


-— - = |/7„,i - a„,o||a,,,ol -> 1, |m«I -^ t^o, 


imply that |p,7'| — > oo, which is what we needed to show. The case m = 2 is obtained by applying 
Ado-, , which switches p and p"' . n 

Corollary 4.5. Proof of item \(2)\ ofTheorem \4.2\ 

Proof. We just saw tha t all components of F blow up as (p approaches Ti or ^2- Taking F - 
, , Proposition 4.4 says \a\ — > oo and \b\ — > oo. The unit normal vector is given by 

F-i - • (Haa* +bb*) -lab 

'"'^ ~''\ 2a'b' +(bb* + aa*)) ' 

The 62 component, ±(00* + bb*), approaches 00. Since A^ is a unit vector, the only way this can 
happen is for the vector to become asymptotically lightlike. n 

4.2. Extending the Sym-Bobenko formula to the first small cell. To show that the surface extends 
analytically to Ci = '(^1), we think of the Sym-Bobenko formula as a map from If^, instead of 
'ZY, by composing it with the projection onto 'ZY. This is necessary because we showed that the 1/ 
factor blows up as we approach Pi. 

Recall the function S in ( [2T| used for the Sym-Bobenko formula. Note that if F elJ then either 
F or iF is an element of AGo- c 'ZY*', where G - U\^\. The Lie algebra of G is just g = siii j and we 
can conclude that Fio-^F^^ and iAd^F ■ F ' are loops in LieilA). Thus »S is a real analytic map from 
%l to Lie(%l). Define 

'K■.^{ke^l\ S(k) = /0-3). 
Lemma 4.6. 'K is a subgroup of 11. Moreover, TC consists precisely of the elements k e1( such that 
(24) S(Fk) = S(F), 

for any F ell. 


Proof. Both statements follow from the easily verified formula 

S{xy) — xSiy^x' + 2iAS^x ■ x" . 

Hence it is straightforward to show that TC is a group, and any element k e "K satisfies ( 24 1 for 
any F. Conversely, if k is an element such that (|24]i holds for all F, in particular for F - I, then 
S{k) = S{I) = /0-3, soke'K. n 

Now 'ZY° consists of constant diagonal matrices, which are in TC, so an immediate corollary of 
this lemma (see also Theorem|3.5|l is 

Lemma 4.7. The function S is a well-defined real analytic map 1J jlJ^ — > Lie{1J). 

On the big cell, Sij, we can define an extended Sym-formula S : Si 1 — > Lie(1(), by the 

(25) S(^) :^ SiMcf,)), 

where n is the projection to IZ/I/" given by the SUij Iwasawa splitting, described in Corollary 

2.2 It is a real analytic function on Si.i, since it is a composition of two such functions. In spite of 

the conclusion of Proposition 4.4 we now show that this function extends to the first small cell Pi. 

The critical point in the following argument is the easily verified fact that the matrices fc, given in 

Lemma 2.4 are elements of TC. The argument does not apply to the second small cell, because the 

corresponding matrices Adjj-, kj are not elements of TC. 

Theorem 4.8. The function S extends to a real analytic function Sij U !Pi — > Lie{1l). 

Proof. Let (po be an element of Si j WPi. If 00 e Si.i define S((Pq) by ( 25 1, and this is well defined 
and analytic in a neighborhood of (pQ. If (pQ eVi, we have a factorization 

(26) 00 = FoUxBi), 

given by ( lOi. Then 00^0*^1 ^^ ^'^ 'S\,\, which is an open set. Hence we can define, for (p in some 

neighborhood ^0 of 0o, a new element 


and is in S\\ for all e ^q. Now we define, for e Wo, 

(27) S{^) := SC^). 

We need to check that this is well defined (because Bo is not unique in ( 26 1) and also that p5| ) and 

( [27[ i coincide on 'Wo ^'B\,\. To prove both of these points it is enough to show just the second one, 
because Wo nSi.i, is dense in Wo and because ^n\ is defined and continuous on the whole of Wo. 
Now on Wo n Si J, we have the Iwasawa factorization - FB, so 



Since we know this is in the big cell, we can express this, by Lemma 2.4 

= FkB', 

where k is of the form _ 1 _ , and B' is in tl^. Now Fk e 14, so, by definition, >S(0) — S(Fk). 
But keK, so, in fact, S{(p) := 5(0) = S(F) = S((p). D 



Corollary 4.9. Proof of item (3) of Theorem 4.2. 

Proof. We just showed that the surface obtained by the Sym-Bobenko formula extends to a real 
analytic map from 2° U Ci. To prove that the surface is not immersed at za e C\, suppose the 
contrary: that is, there is an open set W containi ng zo such that f'^ 



IS an immersion. 

Let ds^ denote the induced metric. From Remark 3.9 this metric is given on the open dense set E° 
by the expr essio n 4p^(dx^ + dy^). The 1-form djr+ dy^ is well defined on S, but, by item (2) of 
the function p"* approaches as z approaches zq- Therefore the induced metric is 



zero at this point. This is a contradiction, because a conformally immersed surface in R^'' cannot be 

null at a point. D 

4.3. The behavior of S when approaching other small cells. The function S does not extend 
continuously to any of the other small cells. To see this, consider the functions i/r"' and F"' given in 

Remark 2.3 On the big cell, we have 

S(i//^) = S(F'!') = io-3 + 
2/ m 

2i(m - 1) / -zz ir 



\-zz \-z/l 

zz -zA-"'^^ 
W"-^ -zz 


, m odd; 

m even. 

I - zz' 

We know i//'" = a),„ e 'P,„ at z = 1, and that t//" e Si.i for |z| ^ 1; but, other than the case m - 1, we 
see that S(i//"') does not have a finite limit as z — > 1. 

We next show that for P2 this behavior is typical. An example corresponding to the following 

result is the two-sheeted hyperboloid of Example |3. 11 
Theorem 4.10 

S((f>„) by S((l>„) 

Theorem 4.10. Let 0„ be a sequence in Sij with lim„_ 
la„ b„ 

b'„ -a„ 

ex, (f>n — <Po ^ "Pi- Denote the components of 

\b„\ = oc, for all A e E>\ 

Proof. Let )p„ - F„B„ be the S t/i_i Iwasawa splitting for <p„, and 0o — Foaj2Bo. Because Ado-, W2 - 
a>\, Ado-, 00 - Ado-, Fo Ado-, (1)2 Ado-, Bq is in!Pi. So Ado-,0,, is a sequence in Si.i which approaches 

Pi. Therefore, by Theorem 4.8 there exists a finite limit: 

lim SiAda;F„) = L. 

(28) S(Ad^,F„) = cri[-F„i(riF-„' + 2/i(a,F„)F„-']cri, 

we can write 

and, from Proposition 4.4 


where \x„\ — > 00, \y„\ — > 00. Thus, all components of the matrix F„icrj,F:„^ blow up as n — > 00, and, 
for the limit L to exist it is necessary that all components of the matrix A{dxF„)F^^'^ also blow up. 
Now we compute 

S{F„) = F„i(TiF-' +2iA(d,Fn)F-' 

= -[-Fnia^F-' + 2iA{d,F„)F-'] + 4/A(5^F„)F„ ' 
= -cTiS{M^, F„)(ri + 4iA(dAF„)F„\ 

Since the first term on the right-hand side has the finite limit -criLo-i, and all components of the 
second term diverge, it follows that all components of S{F„) diverge. D 


Corollary 4.11. Proof of item (4) of Theorem 4.2 

Proof. We just showed that f'*" diverg es to oo as z — > zq s €2- The metric is given on E° by the 
expression Ap^{dx^ + dy^) (see Remark 3.9 1. By Proposition 4.4 we have p'* — > 00 as z — > zo- □ 

4.3. 1 . The higher small cells. Numerical experimentation shows that the behavior of the surface as 
Vj is approached, for j > 3, may not be so straightforward. To analyze the behavior analytically 
becomes more complicated. In principle, one can obtain explicit factorizations such as in Lemma 

2.4 by finite linear algebra, but we do not attempt an exhaustive account here. One should observe, 
however, that, relating the Iwasawa decomposition given here to Theorem (8.7.2) of fZT] shows that 
the higher small cells occur in higher codimension in the loop group. 

5. Spacelike CMC surfaces of revolution and equivariant surfaces in R^'' 

5.1. Surfaces with rotational symmetry. To make general spacelike rotational CMC surfaces in 
R^'\ we convert a result in 1291 to the SU\^\ case. This theorem provides us with a frame F that 
gives rotationally invariant surfaces when inserted into the Sym-Bobenko formula. 

Theorem 5.1. For a,b eW and c e^, letY, — {z — x + iy & £.\ — k^ < x < k^} and choose k\ , K2 so 
that X € (-/fjjA'j) is the largest interval for which a solution v — v{x) of 

{v'f = (v^ - Aa^)(v^ - Ab^) + Ac^v^ , 

(29) v" = 2v(v^ - la^ - Ih^ + 2c^), 

v(0) = lb, 

is finite and never zero (' denotes j^). When c + 0, we require v'(0) and -be to have the same sign. 
Let (p solve d(f> — <p^ on ^for ^ — Adz with 

c aA~^ + bA\ 

(30) --i-«i-W-' -c 

and (p(z — 0) — T Then we have the S t/i 1 Iwasawa splitting (p — FB, with 

(j) = exp((x + iy)A) , F ^ (f> ■ exp(-/A) ■ B^' , B = Bi ■ exp(/A) 

where, taking ^Jdet Bq so that VdetBo|^i=o > 0, 

r 2dt 

^ Jo 1 + 

(AabA^Y^vHt) ' 
1 , „ _(2v(b + aA^) (2cv + v')A 

'''^^^''°' ^"^l AabA^ + v^ 

The second, overdetermining, equation in (29 1 excludes certain enveloping solutions. In partic- 

ular it removes constant solutions for v, except precisely in the case where we want them (when 
a - +b and c = 0). 

Proof Because BoL-;=o = {AabA^ + Ab^) ■ I, we have B|,=o - F\,=o - L We set - @idx + ®2dy, 
where z-x + iy, with 

(f\ 2ab vA\ I v^ 2ab , vA 

iv 2 I «,-;•( 2v Av ^ 2 

2abA v_ rv I' ^2-l\_2abA v_ _/ 

V 2A ^ / \ V 2A 2v 

A computation gives B^ + (0i + /02)B - and 02^ - iBA - 0, implying dB + @B - BA(dx + idy) - 0, 
and so F^^dF = 0. Noting that ©i + /02 has no singularity at /I = 0, we have that B is holomorphic 
in A for all A e C. Also, trace(0i + /02) = implies detB is constant, so detB = 1. Hence B takes 
values in €(^. We have t(0) = 0, so TiF'^dF) = F'^dF. It follows from F|,=o = I that t(F) = F, 
so F takes values in 1/^. n 



Figure 2. A surface of revolution in T2 with timelike axis, a surface in its associate 
family, and the parallel constant Gaussian curvature surface (left to right). The 
second and third surfaces appear to have cuspidal edge singularities. 

Remark 5.2. Note that we must restrict k\,K2 so that v is never zero on S. When v reaches zero, this 
is precisely the moment when leaves Si j . Also, note that v can be non-constant even when c = 0. 
A solution to the equation for v, for example when Q < b < a and c < 0, is given in terms of the 
Jacobi sn function as: v{x) - 2b{^^ sni,/^i2gy(2{a(x + xq)), where { is the largest (in absolute value) of 

the real solutions to the equation a^{'^ 
and v'(0) > 0. 


b ){ +b - 0, and xq is chosen so that v(0) - 2b 

Inserting the above F into the Sym-Bobenko formula, we get expUcit parametrizations of CMC 
rotational surfaces in R^'. Because the mean curvature H and the Hopf differential term Q are con- 
stant reals, and because the metric ds^ is invariant under translation of the z-plane in the direction of 
the imaginary axis, we conclude that these surfaces are rotationally symmetric, by the fundamental 
theorem for surface theory, and we have the following corollary. 

Corollary 5.3. Inserting F as in Theorem\5.1\into \2\) with Aq — 1, we have a surface of revolution 

f with axis parallel to the line through and iA in 

J 2,1 

5Ui,i. In particular, the axis is timelike. 

null or spacelike when {a + b) — c is negative, zero or positive, respectively. 

Proof. The rotational symmetry of the surface is represented by F — > exp(/yo^)^ at /Iq = 1 for each 
yo e R, and the Sym-Bobenko formula changes from /' to 

exp(jyoA)/' exp(-!>oA) - ///"'<9^(exp(!>o^))U=i • exp(-;>0'4) . 

The axis is then a line parallel to the line invariant under conjugation by tx^iiyc^A). D 

Remark 5.4. Using conjugation by diag( V/, 1 / V/) on all of A, (p, F, B, one can see that if we choose 

2ab, Equation d20b gives v - e " and Q - I, for the surfaces in Corollary 5.3 

5.2. Equivariant surfaces. By inserting the F in Theorem 5.1 into pT| ) and evaluating at various 
values of Ao e S', we get surfaces in the associate families of the surfaces of revolution in Corollary 
5.3 These are the equivariant surfaces, which we now describe. 

Definition 5.5. An immersion f : U c 9? —> R^'' is equivariant with respect to y if there exists a 
continuous homomorphism /?, : R — > £ into the group S of isometrics o/R^'' such that 

In the following we write z - x ■ 

fix, y + t) 

R.fix, y). 


Proposition 5.6. Let f : U C R —> R •' be a conformal immersion with metric Av \dz\ , mean 
curvature H, and Hopf differential Q dz}- Then f is equivariant with respect to y if and only ifv, H 
and Q are y-independent. 

Proof. The proposition is shown by the following sequence of equivalent statements: 

1. The immersion / is equivariant with respect to y. 

2. For any f e R, the maps f(x, y) and f(x, y) = f(x, y + t) differ by an isometry R, of R^'' . To 
show statement 1 from 2, note that Rs+,f{x, y) - fix, y + s + t) - Rif{x, y + s) - R,Rsf(x, y), so 
under suitable non-degeneracy conditions on /, the map t h^ R,isa continuous homomorphism. 

3. The immersions / and /, have equal first and second fundamental forms. Statements 2 and 3 
are equivalent by the fundamental theorem of surface theory. 

4. The geometric data for / satisfy v(x, y + t) = v{x, y), H(x, y + t) - H(x,y) and Q{x, y + t) = 
Q{x, y). 

5. The functions v, H and Q are y-independent. D 

Proposition 5.7. Let / : 2 c C — > R^'' be a conformal CMC H immersion with metric 4v^^\dz\^ 
and Hopf differential Q dz^- Take ^ e R* := R \ {0) so that 4H^ — q^, and suppose \ Q\ is 1 at some 
point in R^. Then f is equivariant with respect to y if and only if Q is constant, v depends only on x, 
and for some /? e R, v satisfies 

(31) v'^ ^v^ -2pv^ + q^, v"=2v(v^-p). 

Proof If / is equivariant, then v and Q are y-independent by Proposition 5.6 Since / is CMC, 
then Q is holomorphic in z, and is hence constant. So |2| = 1. Since v is y-independent, the Gauss 
equation ( fTS) with v = e " is a second order ODE in x. Multiplying the Gauss equation by u' and 
integrating yields ( (3T] l, where p is a constant of integration. 

Conversely, if v and Q satisfy the conditions of the proposition, then / is equivariant, by Propo- 
sition l5l6] D 

Corollary 5.8. Any immersion f'^" into R^'^ as in ( |21| l, obtained from a DPW potential of the form 
Adz, where A is given by P0| l, is a conformal CMC immersion equivariant with respect to y. 

Conversely, up to an isometry o/R^'', every non-totally-umbilic conformal spacelike CMC H i^ Q 
immersion equivariant with respect to y is obtained from some DPW potential Adz, where A is of the 
form ((30|. 

Proof. By Theorem 5.1 the extended frame of the immersion obtained from A is of the form 

F{x, y) - exp(/yA)^(ji:) for some map Q : J ^> S t/ij, where J - {-k\, k^) c R. The Sym-Bobenko 
formula /'*" applied to F yields an immersion which is equivariant with respect to y. 

Conversely, given a CMC immersion / : (-k^,^^) x R c R^ — > R^'', which is equivariant with 
respect to the second coordinate y, let 4-v^^\dz\^ and Qdz^ be the metric and Hopf differential for /, 
respectively. By a dilation of coordinates z ^ rz for a constant r e R, we may assume I2I = 1. Let 

q be as in Proposition 5.7 By that proposition, v satisfies pT| i for some p e R. Let b = v(0)/2, and 
define a e R* by the equation H = -2ab, and so ^ = +4ab. Then it follows that p < 2{a^ + b^), and 
there exist c e R and /Iq e S' such that p = 2{a^ + b^ - c^) and Q - A^^. Let /''" be the immersion 

induced from the DPW potential ^ = Adz, with A as in Theorem 5.1 initial condition <1)(0) = /, and 
Aq and H - -2ab. Then /'*" has metric A-v^^ldzf, by Theorems 5.1 and 3.8 and has mean curvature 
-2ab and Hopf differential A^^dz^- By the fundamental theorem of surface theory, / and f'*" differ 
by an isometry of R^'' . D 

We now describe the two spaces R/~r and E/~e of immersions into R^'' which are rotationally 
invariant and equivariant, respectively. Both constructions are based on the family of solutions to the 
integrated Gauss equation (|3T|i, where solutions are identified which amount to a coordinate shift and 



hence yield ambiently isometric immersions. Bifurcations in the space of solutions to Equation ([STJ 
lead to non-Hausdorff quotient spaces. 

'Z space like axis 

Figure 3. A blowup of the moduli space of surfaces with rotational symmetry R^' . The 
blowdown is obtained by identifying points along segments of hyperbolas within each re- 
gion. The heavily drawn left v-shaped line represents the lightlike axis examples, separat- 
ing those with spacelike and timelike axes. The line segments and points in the diagram 
represent examples whose metrics degenerate to elementary functions; in particular, the 
c-axis represents hyperboloids. Pairs in the same associate family are represented by points 
reflected across the c-axis. 

The space RI~r of immersions with rotational symmetry is a quotient of the space 

R = {(p, q, vo) e R' I v^ - Ipvl + ^2 > 0) 

parametrizing solutions to (|3T|). The equivalence relation ~r on i? is defined as follows; {p\, q\, v\)~r 
(p2, q2, V2) if, for k = I and 2, the respective solutions to 

v'^ - 2pkV^ + ql. 


v" — 2v(v 
v(0) = V,, 

■ Pk), 

are equivalent in the following sense; there exist r € R+ and c € R such that V2(x) = rv\{rx + c) or 
viix) - -rviirx + c). The space RI~r is a 1-dimensional non-Hausdorff manifold. For a point in 

R with q i^ Q, the corresponding surface is constructed by relating ( 32 1 to ( 29 1. This determines a. 

b and c in Theorem 5.1 and the surface is given by Corollary 5.3 If ^ = 0, the surface is totally 

To describe the space of equivariant immersions, let 

E = {{p, P, Vo) e R X C X : 

\vl-2pvl + \P\^>Q}. 


The equivalence relation ~e on E is defined as follows: (p, P, vq)~e{p' , P' , v'q) if there exist q, q' e 
R and /I e S' such that P - qA^^ and P' - q'A^^, and (p, q, v'o)~r(/?', q', v^). The space E/~£ is 
a 2-dimensional non-Hausdorff manifold. The surface corresponding to a point in E, when P it 0, 
is as in the case of the space R, except that the Sym-Bobenko formula now uses general /I € S' (not 
necessarily A = I). When P -0, the surface is totally umbilic. 
The above constructions are summarized as: 

Theorem 5.9. Up to coordinate change and ambient isometry, the spaces E/~e and Rj ~r are the 
moduli spaces of CMC immersions into R '' which are respectively equivariant and rotational. 

5.3. The moduli space of surfaces with rotational symmetry. Figure |3] shows a blowup of the 
moduli space of surfaces with rotational symmetry in R^' . The underlying space is the closed (b, c)- 
half-plane obtained by the normalization A - \ and a - \. The blowdown to the 1 -dimensional 
moduli space of surfaces is the quotient modulo identification of points on segments of hyperbolas 
\+b^ -c^ - (constant) ■ b foliating each region. The examples with spacelike, timelike and lightlike 
axes are represented respectively by the shaded and unshaded regions, and the left heavily-drawn 
V-shaped line. Subscripted letters S , L and T denote one-parameter families with spacelike, lightlike 
and timelike axes, respectively; likewise, s, { and t designate single examples, and the example m 
has no axis. The moduli space is a connected non-Hausdorff space, and is the disjoint union of eight 
one-parameter families S la, S ib, S2a, S2b, Si, T\, T2, Tt,, eight individual examples sia, sn,, s\c, {{„, 
{lb, m, {, t, and the hyperboloids corresponding to sq, £q, to considered with spacelike, lightlike and 
timelike axes respectively. 

The non-Hausdorffness of the moduli space arises from the fact that the limit surface of a se- 
quence of surfaces in any of the one-parameter families (designated by capital letters) to a point not 
in that family is not uniquely determined: the sequence will have different limit surfaces depending 
on how the sequence is chosen to be positioned in R^'. The blowup of the moduli space shown 
in Figure[3]maps this topology. For example, the same sequence of surfaces in ^3 can converge to 
either sia, sib or si^; likewise a sequence in Tt, can converge to either lia, lib or m. 

6. Analogues of Smyth surfaces in R^-' 

A generalization of Delaunay surfaces in R^ was studied by B. Smyth in ||3TI . These are constant 
mean curvature surfaces whose metrics are invariant under rotations. They were also studied by 
Timmreck et al. in 1331 , where they were shown to be properly immersed (a property which we will 
see does not hold for the analogue in R^'). The DPW approach was applied in [14| and |8|. 

Here we use the DPW method to construct the analogue of Smyth surfaces in R^', and describe 
some of their properties. Define 

(33) ^ = ^-i(^ ^\dz, ceC, zeS = C, 

and take the solution (p of d(p = (p^ with <p\z=o -I- If A; = and c e S', then one can explicitly 

split (p as in Example 3.10 and the resulting CMC surface is a cylinder over a hyperbola whose axis 
depends on the choice of c. When c = 0, one produces a two-sheeted hyperboloid. However, when 
c ^ S' U {0) or when ^ > 0, Iwasawa splitting of (p is not so simple. 

Changing c to ce'"" for any ©o e R only changes the resulting surface by a rigid motion and a 
reparametrization z — > ze^ra . So without loss of generality we assume that c € R^ := R Pi (0, 00). 

Lemma 6.1. The surfaces / : 2° = 0"'(Sij) — > R^'\ produced via the DPW method, from ^ in 

\33) , with (f>\z={) — I and A^ — 1, have reflective symmetry with respect to k + 2 geodesic planes that 
meet equiangularly along a geodesic line. 




Ti (1,4) 

7-2 (-1,4) 

r3(-i, V2) 

Figure 4. Examples from each of the eight families of surfaces with rotational 
symmetry in R^'. These families together with the eight single examples shown 
in Figure [3] comprise all such surfaces. The designation symbol and the num- 
bers {b, c) refer to the blowup of the moduli space in Figure l3] Note that entire 
examples are necessarily complete 1,10,1 . Images created with XLab 1,28,1 . 

Proof. Consider the reflections 


R({z) = e t*2 z. 

of the domain Z = C, for f e {0, 1, ...,k + 1). In the coordinate w :- Re{z), we have 

f=M^-'(.?^ i)o»K' 

A( - diag(e'+2,e'+2 ). 

Comparing this with (^33k, it follows that <p(z) - Ac(p(w)A^ , and hence 

(l>(Re(z)) ^ Ae(P(z)A^K 

It is easy to see that this relation extends to the factors F and B in the Iwasawa splitting <p - FB, and 
so we have a frame F which satisfies 

F{Rc{z)) ^ AcF(-z)Af . 

Since we have assumed c e R^, it follows from the form of ^ and the initial condition for that 
(p{z, X) - (p{z. A). This symmetry also extends to the factors F and B, and combines with the first 
symmetry as: F(R[(z), A) - A(F(z, /i)A^' . Inserting this into pT| ), we have 

f\Re(z)) = -aJHz)A^' . 

Then for /', the transformation /' — > -/' represents reflection across the plane {x2 = 0) of R^' - 
{x\ei + x^e^ + xqc^], and conjugation by A( represents a rotation by angle 2ml l{k + 2) about the 
xo-axis. D 

We now show that m : E° — > R in the metric ([T6]l of the surface resulting from the frame F is 
constant on each circle of radius r centered at the origin in S, that is, u - u{r) is independent of 6 in 



^la {')■>'}) 

Ifl V ■}■>'}) 

sw (2, 1) 
iib (-2, 1) 



S\c, m 

Figure 5. The eight surfaces with rotational symmetry in R^'' whose metric is 
an elementary function. The last two examples, a cylinder over a hyperbola and a 
hyperboloid respectively, appear multiple times in the blowup of the moduli space. 
Designation symbols are as in Figure [3] Images created with XLab l,28J . 

Figure 6. Details of Smyth surface analogs in R '. An immersed portion of this 
surface (left) has three-fold ambient rotational symmetry. Lemma 6.1 A singu- 
larity further out on the surface appears to be a swallowtail (second image). The 
third image shows another singularity on the same surface. 

z - re'^. Having this internal rotational symmetry of the metric (without actually having a surface 
of revolution) is what defines the surface as an analogue of a Smyth surface. 

Proposition 6.2. The solution u of the Gauss equation \\%) for a surface generated by £, in ( |33[ ), 

with 4>\z=Vi — I, is rotationally symmetric. That is, u depends only on \z\. 

Proof. Define 

z - e''z. 




for any fixed 6 &R. Then 

1\ ..N , , /e^ 

It follows that 

^(z,.) = L-(r'(j, ;)dz)L, L = (^ 

Let = FB be the normalized Iwasawa splitting of 0, with Z? : E° — » l/lj'. Then 

4>Cz, A) = (LF(z, A)L- 1 ) ■ (LB(z, A)L- ' ) 

Since LB(z, /l)L ' and B(z, A) are both loops in 1/!^ , and the left factors are both loops in 1/, it follows 
by uniqueness that the corresponding factors are equal. Recall from Section [X?] that u = 21ogp is 
determined by the function p(z), which is the first component of the diagonal matrix B(z)\ , „. Since 
this matrix is diagonal and independent of A, we have just shown that Biz)\ , „ - B(l)| , „, and hence 
u(z) = u{z). a 

We now show that the Gauss equation for these surfaces in R^' is a special case of the Painleve 
III equation. This was proven for Smyth surfaces in R^, in [81. 

Proposition 6.3. The Gauss equation \\i\ for a surface generated by ^ in \33) , with 4>\z=q — h is a 
special case of the Painleve III equation. 

Proof. The Painleve III equation, for constants a,l3, y, 6, is 

y" = y-Hy'f - x-^y' + x"'(q'/ +/?) + yy^ + Sy'K 

where / denotes the derivative with respect to x. Setting y - e^' , a - fi - Q, y - -6 - 1, we have 
(v'e'')' = e"''(v'e'') - jc^'v'e'' + + e^'' - e"''. Therefore 

(34) v" +x-\'' -2 sinh(2v) = 

is a particular case of the Painleve III equation. 

By a homothety and/or reflection, we may assume the surface has H - 1/2, and then we have 

Q = -cz ■ (By Section 3.4 Q - -IHb-i/a^i.) Setting r := |z|, the Gauss equation becomes 

(35) 4-u,r, + c^ p-'^e-^" - e^" = . 

To prove this proposition, we show that Equation ( |35| ) can be written in the form (|34]|. Set 
v:=M- iloglgl = M- ^logc- flogr , 
so 4v2i + I (log r),= + c^ r^* e-2("+5 i°g'-+! HO _ ^2(1.+ ^ iogc+| logr) ^ q^ ^^^ jj^^ simplifies to 

4v,j - 2c r* sinh(2v) = 0. 
Now V is a function of r only, which means that v.^ - \iy"{r) + jv'{r)), and the equation becomes 

v"(r) + r'\'{r) - 2c r* sinh(2v) = 0. 
Now set 

;u:=(l + ^)-V'+t V^. 

Then ^r^i - r^- y/c. So we have 

drid^vr'i V^) + r"'5^vr5 yfi-2cr^ sinh(2v) = , 
which simplifies to v^^ + ju"' v^ - 2 sinh(2v) = 0, coinciding with (|34]). C 

30 david brander, wayne rossman, and nicholas schmitt 


[1] K Akutagawa and S Nishikawa, The Gauss map and spacelike surfaces with prescribed mean curvature in Minkowski 

3-space, Tohoku Math. J. (2) 42 (1990), 67-82. 
[2] V Balan and J Dorfmeister, Birkhoff decompositions and Iwasawa decompositions for loop groups, Tohoku Math. J. 53 

(2001), 593-615. 
[3] R Bartnik, Regularity of variational maximal surfaces. Acta Math. 161 (1988), 145-181. 
[4] R Bartnik and L Simon, Spacelike hypersurfaces with prescribed boundary values and mean curvature, Commun. Math. 

Phys. 87(1982), 131-152. 
[5] A I Bobenko, All constant mean curvature tori in R , S , H in terms of theta-functions. Math. Ann. 290 (1991), 

[6] , Constant mean curvature surfaces and integrable equations, Uspekhi Mat. Nauk 46:4 (1991), 3^2. English 

translation in: Russian Math. Surveys, 46 (1991), 1-45. 
[7] , Surfaces in terms of 2 by 2 matrices. Old and new integrable cases. Harmonic maps and integrable systems. 

Aspects of Mathematics, no. E23, Vieweg, 1994. 
[8] A I Bobenko and A Its, The Painleve 111 equation and the Iwasawa decomposition, Manuscripta Math. 87 (1995), 

[9] L Bungart, On analytic fiber bundles. Topology 7 (1968), 55-68. 
[10] S Y Cheng and S T Yau, Maximal space-like hypersurfaces iti the Lorentz-Minkowski spaces, Ann. of Math. 104 (1976), 

[11] H Y Choi and A Treibergs, Gauss maps of spacelike constant mean curvature hypersurfaces of Minkowski space, J. 

Differential Geom. 32 (1990), no. 3, 775-817. 
[12] J Dorfmeister and G Haak, On symmetries of constant mean curvature surfaces. I. General theory, Tohoku Math. J. (2) 

50 (1998), 437-454. 
[13] , Construction of noti-simply connected CMC surfaces via dressing, J. Math. Soc. Japan 55 (2003), no. 2, 335- 

[14] J Dorfmeister, F Pedit and H Wu, Weierstrass type representation of liarmonic maps into .symmetric spaces, Comm. 

Anal. Geom. 6 (1998), 633-668. 
[15] H Grauert and R Remmert, Theory of Stein spaces. Springer- Verlag, 1979. 
[16] MA Guest, Harmonic maps, loop groups, and integrable systems, London Mathematical Society Student Texts, vol. 38, 

Cambridge University Press, 1997. 
[17] J Hano and K Nomizu, Surfaces of revolution with constant mean curvature in Lorentz-Minkowski .space, Tohoku Math. 

J. (2) 36 (1984), no. 3, 427^37. 
[18] J Inoguchi, Surfaces in and harmonic maps. Harmonic morphisms, harmonic maps, and related 

topics (Brest, 1997), 249-270, Chapman & Hall/CRC Res. Notes Math., 413, Chapman & Hall/CRC, Boca Raton, FL, 

[19] T Ishihara and F Hara, Surfaces of revolution in the Lorentzian 3-space, J. Math Tokushima Univ. 22 (1989), 1-13. 
[20] P Kellersch, Eine Verallgemeinerung der Iwasawa Zerlegung in Loop Gruppen, PhD Thesis, TU Munich, 1999. 
[21] K Kenmotsu, Weierstrass formula for surfaces of prescribed mean curvature, Math. Ann. 245 (1979), 89-99. 
[22] M Kilian, S-P Kobayashi, W Rossman and N Schmitt, Constant mean curvature surfaces of any positive genus, J. Lond. 

Math. Soc. 72 (2005), 258-272. 
[23] M Kilian, I Mcintosh and N Schmitt, New constant mean curvature surfaces, J. Exp. Math. 9 (2000), 595-61 1. 
[24] T K Milnor, Harmonic maps and classical .surface theory in Minkowski, Trans. Amer. Math. Soc. 208 (1983), 

[25] UPinkall and I Sterling, On the classification of constant mean curvature tori, Ann. of Math. (2) 130 (1989), 407-451. 
[26] K Pohlmeyer, Integrable Hamiltonian systems and interactions through quadratic constraints, Comm. Math. Phys. 46 

(1976), no. 3,207-221. 
[27] A Pressley and G Segal, Loop groups, Oxford Math, monographs. Clarendon Press, Oxford, 1986. 
[28] N Schmitt, XLah, software. 
[29] N Schmitt, M Kilian, S-P Kobayashi and W Rossman, Unitarization ofmonodromy representations and constant mean 

curvature trinoids in 3-dimensional space forms, J. Lond. Math. Soc. (2) 75 (2007), no. 3, 563-581. 
[30] O Shcherbak, Wave fronts and reflection groups, Uspekhi Mat. Nauk 43 (1988), no. 3(261), 125-160. English translation 

in: Russian Math. Surveys 43 (1988), no. 3, 149-194. 
[31] B Smyth, A generalization of a theorem of Delaunay on constant mean curvature .surfaces, IMA Vol. Math. Appl 51 

(1993), 123-130. 
[32] A Sym, Soliton surfaces and their applications. Geometric aspects of the Einstein equations and integrable systems. 

Lecture notes in Physics, vol. 239, Springer, 1985, pp. 154-231. 


[33] M Timmreck, U Pinkall and D Ferus, Constant mean curvature planes with inner rotational symmetry in Euclidean 

3-space, Math. Z. 215 (1994), 561-568. 
[34] A Treibergs, Entire spacelike hypersurfaces of constant mean curvature in Minkowski space, Ann. of Math. Stud. 

(1982), no. 102, 229-238, Seminar on Differential Geometry. 
[35] K Uhlenbeck, Harmonic maps into Lie groups: classical solutions of the chiral model, J. Differential Geom. 30 (1989), 

[36] T Y H Wan, Constant mean curvature surface, harmonic maps, and universal Teichmiiller space, J. Diff. Geom. 35 

(1992), 643-657. 
[37] T Y H Wan and T K K Au, Parabolic constant mean curvature spacelike surfaces, Proc. Amer. Math. Soc. 120, (1994), 


Department of Mathematics, Matematiktorvet, Technical University of Denmark, DK-2800, Kgs. Lyngby, Denmark 
E-mail address: D . BranderOmat . dtu . dk 

Department of Mathematics, Faculty of Science, Kobe University, Japan 
E-mail address: wayne^math . kobe -u 

GeometrieWerkstatt, Mathematisches Institut, Universitat Tubingen, Germany 
E-mail address: nschmitt@mathematik . uni-tuebingen . de